//
// Created by wkm on 2024-04-17.
//

#ifndef AES128CHIPSYSTEMC_X4TIME_TEST_H
#define AES128CHIPSYSTEMC_X4TIME_TEST_H

#include "../core_module/CONSTANT.h"
#include "../FiniteFieldMul/x4time.h"
#include "x4time_driver.h"
#include "x4time_monitor.h"

void x4time_test();

#endif //AES128CHIPSYSTEMC_X4TIME_TEST_H
